منابع مشابه
Bb Ohm's Theorem for Bb Ohm Trees
We prove that adding to the pure-calculus a non-deterministic choice operator and a standard numeralsystem we obtain a language which internally discriminates two-terms if and only if they have diierent BB ohm trees.
متن کاملCasa-blanca: a Large Non-imaging Cerenkov Detector at Casa-mia
The lateral distribution of Cerenkov light at ground level records important information on the development of the air shower which produces it. We have constructed a Broad Lateral Non-imaging Cerenkov Array (BLANCA) to measure this lateral distribution at the CASA-MIA air shower detector in Dugway, Utah. Together, the arrays can sample the lateral distributions of electrons, muons, and Cerenko...
متن کاملPerformance evaluation of the CASA prototype
This report describes a short performance evaluation of a prototype of the CASA framework. The prototype consists of the CASA runtime environment and a simple application that runs on that runtime environment. All these parts have been implemented in Java. Changes in the availability of the resources can be simulated using a graphical user interface. The influence of multiple applications runni...
متن کاملCASA chromogenic medium for enteric Campylobacter species.
We prospectively assessed stool samples from 370 patients for Campylobacter species by comparing three selective agar media incubated at two temperatures: 42°C and 37°C. Twenty patients (5.4%) were found positive. The chromogenic medium CASA (AES Chemunex, France) proved highly efficient for C. jejuni and C. coli recovery, while lessening the workload in the lab.
متن کاملCASA 2009 International Conference on Computer
ing from Character Motion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ARQ (Santiago)
سال: 2003
ISSN: 0717-6996
DOI: 10.4067/s0717-69962003005300019